00100	Brudno
00200	Bruner, J.S., Goodnow, J.J. and  Austin, C.A. (1956) A Study of Thinking.
00300		New York: John Willy.
00400	Davis, M. and Putnam, H. (1960) A Computing Procedure for Quantification
00500		Theory. J. ACM, 7, 201.
00600	Gelernter, H.(1959) Realization of a Geometry Theorem Proving Machine. Proc. 
00700		ICIP. Paris: UNESCO House.
00800	Greenblatt,R.D., Eastlake, D.E. and Crocker, S.D. (1967) The Greenblatt
00900		Chess Program. Proc. FJCC. Washington: Thompson Book Co.
01000	Hart, T.P. and Edwards, D.dJ. (1961) The Tree Prune (TP) Algorithm.
01100		M.I.T. AI Project: Memo No. 30.
01200	Hewitt, Carl (1967) Description and Theoretical Analysis (using Schemas)
01300		of Planner: A Language for Proving Theorems and Manipulating
01400		Models in a Robot. Ph.D. Thesis, Massachusetts Institute of
01500		Technology.
01600	McCarthy, J. (1959) Programs with Common Sense. Mechanisation of Thought
01700		Processes, Volume I. London:HMSO.
01800	McCarthy, J. and Hayes, P. (1969) Philosophical Problems from the
01900		Standpoint of Artificial Intelligence. Machine Intelligence 4,
02000		pp. 463-502 (eds. Meltzer, B. and Michie, D.). Edinburgh: Edinburgh
02100		University Press.
02200	Newell
02300	Nilsson, N.J. (1971) Problem-Solving Methods in Artificial Intelligence.
02400		New York: McGraw-Hill.
02500		MITRE Corporation.
02600	Russell, S.R. (1963) Improvements in LISP Debugging. Stanford Artificial
02700		Intelligence Project: Memo No. 10.
02800	Russell, R. (1964) Kalah - The Game and the Program. Stanford Artificial
02900		Intelligence Project: Memo No. 22.
03000	Russell, R. (1964) Improvements to the Kalah Program. Stanford Artificial
03100		Intelligence Project: Memo No. 23.
03200	Russell, R. (19  )  Personal Communication.
03300	Ryder, J.L. (1971) Heuristic Analysis of Large Trees as Generated in the
03400		Game of Go. Ph.D. Thesis, Stanford University.
03500	Samuel, A.L.
03600	Shannon, C. (1950) Programming a Digital Computer for Playing Chess.
03700		Philosophy Magazine. 41, 356-375.
03800	Simon
03900	Slagle, J.R., ed. (1971) Artificial Intelligence: The Heuristic Programming
04000		Approach. New York: McGraw-Hill.
04100	Turing, A.M. (1950) Computing Machinery and Intelligence.  Mind. 59, 433-
04200		460.